Language-based system - PDFSEARCH.IO - Document Search Engine

Language-based system
Results: 412

#	Item
381	Robust Reconfigurable Erlang Component System Gabor Batori, Zoltan Theisz, Domonkos Asztalos Software Engineering Group, Ericsson Hungary Ltd. H1037 Laborc u. 1. Budapest, Hungary {Gabor.Batori, Zoltan.Theisz, Domonkos.A Add to Reading List Source URL: www.erlang.se Language: English - Date: 2005-10-14 12:57:58 Erlang programming language Component-based software engineering Object-oriented programming Structured storage Ericsson Erlang Modular programming Mnesia Message Passing Interface Computing Software engineering Computer programming
382	Behavioral Polymorphism and Parametricity in Session-Based Communication Lu´ıs Caires1 , Jorge A. P´erez1 , Frank Pfenning2 , and Bernardo Toninho1,2 1 CITI and Departamento de Inform´atica, FCT, Universidade Nova d Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:52:24 Programming language theory Curry–Howard correspondence System F Lambda calculus Connection Polymorphism Generic programming Type system Type theory Software engineering Theoretical computer science
383	RuleML 2009 Bellagio, Las Vegas, NV, USA 5 – 7 November 2009 Program Day 1: Thursday, November[removed] Add to Reading List Source URL: 2009.ruleml.org Language: English - Date: 2014-02-21 01:21:36 Computing RuleML Semantic Web Rule Language Rule-based system Defeasible logic Defeasible reasoning Business rules engine Drools Knowledge representation and reasoning Rule engines Artificial intelligence Science
384	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science
385	EPISODE 2 TRANSCRIPT Hello, everyone. Iʼm Sonia Paul, and welcome to Shizuoka Speaks, based in Shizuoka City, in Shizuoka Prefecture, Japan. This series examines what happens behind the scenes of language education in Add to Reading List Source URL: www.shizuokaspeaks.com Language: English - Date: 2011-07-03 01:52:31 Japanese language Kanji Japanese writing system Chinese characters Linguistics Linguistic typology Notation
386	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2009-04-23 03:56:30 Programming language theory Type system Hindley–Milner Type inference Erlang Subtype polymorphism Closure Type safety System F Type theory Software engineering Computing
387	DLMedia: an Ontology Mediated Multimedia Information Retrieval System Umberto Straccia and Giulio Visco ISTI-CNR Pisa, ITALY, [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Image search Natural language processing Information retrieval Modal logic Image retrieval Content-based image retrieval FO Conjunctive query MPEG-7 Mathematical logic Mathematics Logic
388	Measuring Student Growth in World Languages The new Ohio Teacher Evaluation System (OTES) requires 50 percent of teachers’ evaluations to be based on their students making adequate growth. This document was created to Add to Reading List Source URL: education.ohio.gov Language: English - Date: 2014-05-21 09:54:51 Evaluation Evaluation methods Language education Formative assessment Language proficiency E-learning Smith-Lemli-Opitz syndrome Education Pedagogy Educational psychology
389	POSReady: Using Linq to SQL in POS for .NET Applications By Gordon H. Smith, Embedded MVP Developers of retail applications based on POS for .NET and the .NET platform realize benefits that extend beyond rich interaction Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2011-04-28 19:05:39 Relational database management systems Query languages Microsoft SQL Server Windows Server System Language Integrated Query SQL Microsoft Visual Studio Insert Oslo Computing Software Data management
390	CLaRK - an XML-based System for Corpora Development1 Kiril Simov, Zdravko Peev, Milen Kouylekov, Alexander Simov, Marin Dimitrov2, Atanas Kiryakov3 Add to Reading List Source URL: www.bultreebank.org Language: English - Date: 2003-12-07 14:57:55 XML Technical communication Document Type Definition XPath Standard Generalized Markup Language XSLT HTML SXML XPath 2.0 Computing Web standards Markup languages

UPDATE